Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
arxiv.org·1h
📱Bytecode Design
Delimited Continuations in Lone Lisp
matheusmoreira.com·2d·
🔮Lisp Interpreters
AI Under the Hood Part I: Understanding the Machine
kennethwolters.com·2d·
Discuss: Hacker News
Tokenizer Optimization
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·1h·
Discuss: DEV
🌳Pattern Match Compilation
Property-based testing of batch-invariant operations
mmaaz.ca·6h·
Discuss: Hacker News
🎲Property Testing
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.com·12h·
Discuss: r/programming
🧠Memory Models
LLMs are badly misaligned
lesswrong.com·15h
Type Checking
Functional Threading “Macros”
aartaka.me·1d
🪄Syntax Macros
Writing a Dictation Application
osada.blog·10h
📚Self-Documenting Code
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·18h·
Discuss: Hacker News
💬Interactive REPLs
Beyond Von Neumann: Toward a unified deterministic architecture
venturebeat.com·1d
🤝Cooperative Threading
why & how i learnt ML
abinesh-mathivanan.vercel.app·21h·
Discuss: r/programming
🔍ML Language
Generative AI finds antimicrobial peptides against multidrug-resistant bacteria
nature.com·1d·
Discuss: Hacker News
🗺️Region Inference
Four years, Five failures, One compiler
daymare.net·20h·
🌱Minimal Languages
XiangShan Vector Floating-Point Unit Design
docs.xiangshan.cc·1d·
Discuss: Hacker News
🎯Bit Vectors
Stochastic Activations
gonzoml.substack.com·1d·
Discuss: Substack
🗺️Region Inference
1GHz Renesas RA8T2 Cortex-M85 MCUs feature MRAM and EtherCAT for industrial motor control
cnx-software.com·5h
🔌Microcontrollers
Valuable News – 2025/10/06
vermaden.wordpress.com·2h
🌱Forth Kernels
Sampling at Negative Temperature
cavendishlabs.org·9h·
Discuss: Hacker News
🔗Lexical Scoping
Domain Driven Design in Clojure with Generalized Hiccup
biotz.io·3d·
functional programming